perm filename MINSKY[NOT,DBL] blob
sn#195052 filedate 1976-01-02 generic text, type C, neo UTF8
COMMENT ⊗ VALID 00003 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00002 00002 .DEVICE XGP
C00005 00003 .LTR(Professor Marvin Minsky)
C00008 ENDMK
C⊗;
.DEVICE XGP
.page frame 50 high 80 wide
.title area heading lines 1 to 3
.area text lines 4 to 50
.FONT 1 "BASL30"; FONT 2 "BASI30"; FONT 3 "BASB30"; FONT 5 "NGB25"
.FONT 6 "STA200.FNT[XGP,SYS]"
.TURN ON "%{α"
.ODDLEFTBORDER ← EVENLEFTBORDER ← 1000
.AT "ffi" ⊂ IF THISFONT ≤ 3 THEN "≠" ELSE "fαfαi" ⊃;
.AT "ffl" ⊂ IF THISFONT ≤ 3 THEN "α∞" ELSE "fαfαl" ⊃;
.AT "ff" ⊂ IF THISFONT ≤ 3 THEN "≥" ELSE "fαf" ⊃;
.AT "fi" ⊂ IF THISFONT ≤ 3 THEN "α≡" ELSE "fαi" ⊃;
.AT "fl" ⊂ IF THISFONT ≤ 3 THEN "∨" ELSE "fαl" ⊃;
.MACRO FAC ⊂FILL ADJUST COMPACT ⊃
.MACRO FAD ⊂FILL ADJUST COMPACT DOUBLE SPACE; PREFACE 2 ⊃
.MACRO LTR(name,dat) ⊂
.place HEADING
.nofill
.BEGIN
.TURN ON "-←→∂↑↓&[]";
%6S%5 Artificial Intelligence Laboratory, STANFORD UNIVERSITY, Stanford, California 94305
.end
.PLACE TEXT;
.SELECT 5; if length ("dat") > 2 then date←"dat";
.once turn on "→"
%5Telephone 415-497-1391→{date}
or 415-497-4971
.SKIP 3; SELECT 1
name
.EVERY HEADING("%3NAME, {date}",,Page {Page})
.⊃
.MACRO AIADDRESS ⊂GROUP BEGIN SKIP 1; NOFILL
Douglas B. Lenat
Artificial Intelligence Laboratory
Stanford University
Stanford, California 94305
.END APART ⊃
.MACRO DBL ⊂ GROUP BEGIN SKIP 3; NOFILL CENTER
Sincerely,
.SKIP 6
Doug Lenat
.END APART ⊃
.portion main
.page←1
.LTR(Professor Marvin Minsky)
Room 822
Artificial Intelligence Laboratory
545 Technology Square
Massachusetts Institute of Technology
Cambridge, Massachusetts 02139
.FAC
Dear Marvin,
I believe I sent you a preliminary copy of my thesis proposal several months ago.
(the %2Automated Mathematician%* project). As you may recall,
I am concerned with how one might explain -- and automate --
the formation of new mathematical theories.
I've been working on a program which can develop
simple mathematical concepts, which aims at
expertise in proposing new definitions and in theorem %2proposing%*,
rather than theorem %2proving%*.
A brief description of the project is enclosed.
My committee consists of Ed Feigenbaum, Cordell Green,
Bruce Buchanan, and Don Knuth. They have suggested that I
write you and Pat Winston,
since I expect to receive my Ph.D. by next Fall. I am interested
in a faculty position for next year, and would welcome the opportunity to
discuss the matter with you
(even if there will be no openings at MIT. Your advice to me in 1972,
to go to Stanford for graduate school, proved invaluable).
I could visit Boston sometime this Winter,
perhaps in February.
If there is sufficient interest,
I'd be happy to give a
colloquium on my dissertation research.
Hoping to hear from you soon,
.DBL